formal semantic description

[网络] 形式语义描述;形式语意描述